检索结果

Select

1. 基于区块链的车联网电子取证模型

陈葳葳, 曹利, 顾翔

计算机应用 2021, 41 (7): 1989-1995. DOI: 10.11772/j.issn.1001-9081.2020081205

摘要（352）

PDF （1260KB）（426）

针对车辆交通事故取证困难、责任归属难以判定等问题，提出一种车联网（IOV）通信架构下基于区块链的电子取证方案。该方案利用区块链去中心化存储机制实现电子证据的远程存储，并利用智能合约机制完成电子证据的快速检索和相关证据链的有效追溯；而为有效保护车辆身份的隐私，提出一种令牌机制来对数据进行访问控制；同时，为满足IOV的实时取证要求，提出了一种高效批量共识机制。实验仿真表明，所提方案中的新型共识算法效率优于传统委托权益证明（DPOS）共识算法，且取证速度满足IOV环境的需求，保证了电子证据的不可篡改、不可否认及永久保存等特性，实现了区块链技术在司法存取证方面的应用。

参考文献 | 相关文章 | 多维度评价

Select

2. 标准模型下的高效短群签名

马海英石振国顾翔

计算机应用 2009, 29 (08): 2220-2222.

摘要（1187）

PDF （597KB）（1311）

基于SDH假设下BB签名方案，构造了一个两层签名方案，通过应用合理的假设和非交互知识证明系统，提出了一种标准模型下完全匿名的动态短群签名方案，并证明了该方案满足BSZ模型的安全需求。与最近的其他方案相比，该方案具有较高的运行效率和较短的签名长度，且允许新成员的动态加入，群管理员不能伪造成员的签名。

相关文章 | 多维度评价

Select

3. 基于输入/输出动作的协议形式化描述和测试用例生成方法

顾翔邱建林严燕

计算机应用

摘要（1516）

PDF （608KB）（925）

通信协议的形式化描述及在其基础之上的协议测试用例生成，一直是协议工程的重要研究内容。为此尝试将RSL引入协议形式化描述：首先探讨了一种基于输入/输出动作模型的协议形式化描述方法；随后对基于RSL描述的协议测试技术展开了讨论，提出了一种基于输入/输出动作的协议测试序列生成法则以及基于此法则的测试用例生成方法，并对使用该方法生成的测试用例的性质进行了讨论。

相关文章 | 多维度评价

Select

4. RSL在协议形式化描述中的应用研究

顾翔邱建林蒋峥峥

计算机应用

摘要（1788）

PDF （590KB）（954）

将RSL引入协议工程，探讨了对协议进行形式化描述的一条新途径。为RSL扩充了时间描述机制，讨论了基于两类基本模型（状态模型和进程模型）的协议描述方法及一般描述步骤。以示例方式给出了RIP路由简化算法的RSL形式化描述。与其他方法相比，扩充后的RSL描述能力强，描述手段灵活，能更有效地支持验证、测试等后续阶段的工作。